- символ функции конъюнкции
- n
IT. (логической) Und-Zeichen
Универсальный русско-немецкий словарь. Академик.ру. 2011.
символ функции конъюнкции
Смотреть что такое "символ функции конъюнкции" в других словарях:
История математических обозначений — Математические обозначения это символы, используемые для компактной записи математических уравнений и формул[1]. Помимо цифр и букв различных алфавитов (латинского, в том числе в готическом начертании, греческого и еврейского),… … Википедия
АЛГЕБРА ЛОГИКИ — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логич. значений (истинности пли ложности), и логич. операций над ними. А. л. возникла в сер. 19 в. в трудах Дж. Буля (см. [1], [2]) и развилась затем в работах Ч … Математическая энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
Алгебра логики — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности), и логические операции над ними. А. л. возникла в середине 19 в. в трудах Дж. Буля (См. Буль) и развивалась… … Большая советская энциклопедия
СУЖДЕНИЕ — мысль, выражаемая повествовательным предложением и являющаяся истинной или ложной. С. лишено психологического оттенка, свойственного утверждению. Хотя С. находит свое выражение только в языке, оно, в отличие от предложения, не зависит от… … Философская энциклопедия
РЕЛЕЙНО-КОНТАКТНАЯ СХЕМА — математическая модель электротехнич. устройств, состоящих из контактов и промежуточных реле, функционирующих в дискретные моменты времени. Р. к. с. один из первых классов управляющих систем, рассмотренных с математич. точки зрения, а также один… … Математическая энциклопедия
ТОЖДЕСТВО — понятие, выражающее предельный случай равенства объектов, когда не только все родовидовые, но и все индивидуальные их свойства совпадают. Совпадение родовидовых свойств (сходство), вообще говоря, не ограничивает числа приравниваемых… … Философская энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
АЛГОРИТМ ЛОКАЛЬНЫЙ — алгоритм, устанавливающий свойства элементов множества и использующий на каждом шаге при этом только информацию об окрестности элемента. В терминах А. л. естественно формулируются и решаются задачи о существовании или несуществовании эффективных… … Математическая энциклопедия
